3. Acting and Reflecting :
المؤلف: edited by Wilfried Sieg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
4. Algebraic Foundations of Many-Valued Reasoning
المؤلف: by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
6. Automated Deduction - A Basis for Applications
المؤلف: edited by Wolfgang Bibel, Peter H. Schmitt.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
7. Automated Deduction - A Basis for Applications
المؤلف: edited by Wolfgang Bibel, Peter H. Schmitt.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
9. BL,BL
المؤلف: / Marshall G.S. Hodgson. ,20090530 0
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
10. Formal Aspects of Context
المؤلف: edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
11. Fuzzy Sets, Logics and Reasoning about Knowledge
المؤلف: edited by Didier Dubois, Henri Prade, Erich Peter Klement.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
12. Logic, Language and Reasoning
المؤلف: edited by Hans Jürgen Ohlbach, Uwe Reyle.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
13. Logic and its applications :
المؤلف: Md. Aquil Khan, Amaldev Manuel (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Congresses.,Logic, Symbolic and mathematical.
رده :
QA9
.
A1
I24
2019eb
14. Multi-Dimensional Modal Logic
المؤلف: by Maarten Marx, Yde Venema.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
15. Philosophical Logic and Artificial Intelligence
المؤلف: edited by Richmond H. Thomason.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic.,Philosophy (General)
رده :
BC71
.
E358
1989
